Mathematical Logic Quarterly